 |
Your search returned 5 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1996 Volume number : 22 Issue: 06 |
Completeness And Consistency In Hierarchical State-Based Requirements
(Article)
Subject:
Completeness
,
Consistency
,
Static Analysis
,
Reactive System
Author:
Mats P.E.
Heimdahl
Nancy G.
Leveson
page:
363
-
377
A Framework For Evaluating Specification Methods For Reactive Systems Experience Report
(Article)
Subject:
Formal Methods
,
Specification
,
Industrial Application
,
Technology Assessment
Author:
Mark A.
Ardis
Carios
Puchol
page:
378
-
389
A Component- And Message-Based Architectural Style Gui Softwars
(Article)
Subject:
Architectural Gem
,
Graphical User Interface Gui
,
Heterogeneity
Author:
Richard N.
Taylor
Kari A.
Nies
Deborah L.
Dubrow
page:
390
-
406
Supporting Search For Reusable Software Objects
(Article)
Subject:
Classification
,
Case Studies
,
Computer
,
Software Development
Author:
Tomas
Isakowitz
Robert J.
Kauffman
page:
407
-
423
Identification Of Dynamic Comprehension Processes During Large Scale Maintenamce
(Article)
Subject:
Aliasing
,
Data Flow Graphs
,
Separator
,
Static Analysis
Author:
Mary Jean
Harrold
G
Rothermel
page:
424
-
437
|
|
| | |
